<?php




echo 0.1;
